Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
961	TESLA: Temporally Enhanced System Logic Assertions Jonathan Anderson Robert N. M. Watson David Chisnall Khilan Gudka Ilias Marinos Brooks Davis Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-04-15 11:46:35 Hardware verification languages Assertion Debugging Logic in computer science Tesla Roadster Clang Rust C E Software engineering Computing Computer programming
962	l!soMEr~ME!l IS so&fETIMEs Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2000-07-12 18:31:52 Logic in computer science Model theory Non-classical logic Philosophical logic Modal logic Dynamic logic Temporal logic Assertion Axiom Logic Mathematical logic Mathematics
963	Doron Drusinsky Doron Drusinsky Associate Professor Research Areas Add to Reading List Source URL: www.nps.edu Language: English - Date: 2013-06-21 18:22:02 Formal verification Temporal logic Verification Mathematics Formal methods Logic in computer science Model checking
964	A New Approach to Model Counting Wei Wei and Bart Selman Department of Computer Science Cornell University Ithaca, NY 14853 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-06-09 16:20:27 Constraint programming Logic in computer science Boolean algebra Automated theorem proving Mathematical logic Boolean satisfiability problem DPLL algorithm Local search Davis–Putnam algorithm Theoretical computer science Applied mathematics Mathematics
965	LNCS 5123 - <TEX>{CSIsat}</TEX>: Interpolation for LA+EUF Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Interpolation Satisfiability Modulo Theories Solver Linear programming Theoretical computer science Applied mathematics Mathematics
966	Fuzzy Modelling in GIS Environment to Support Sustainable Land Use Planning 1 Vladimir Badenko1, Dmitry Kurtener2 Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-27 17:00:00 Fuzzy logic Non-classical logic Multi-criteria decision analysis Geographic information system Mathematics Science Type-2 fuzzy sets and systems Artificial intelligence Logic in computer science Logic
967	The rôle of experiments in Analysis of Algorithms Conrado Martínez Univ. Politècnica de Catalunya, Spain April 2008 Add to Reading List Source URL: www.ime.usp.br Language: English - Date: 2008-04-23 13:52:11 Applied mathematics Machine learning Algorithms Computer science Computational linguistics Theoretical computer science Mathematical logic Mathematics
968	Evidence-Based Clustering for Scalable Inference in Markov Logic Deepak Venugopal and Vibhav Gogate Computer Science Department The University of Texas at Dallas Richardson, USA Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-06-28 05:36:54 Theoretical computer science Bayesian statistics Mathematical logic Graphical models Predicate logic Markov logic network Inference Function Cluster analysis Logic Statistics Mathematics
969	Enforcing User-defined Management Logic in Large Scale Systems Srinath Perera, Dennis Gannon Computer Science Department Indiana University, Bloomington IN 47405 {hperera, gannon}@cs.indiana.edu Add to Reading List Source URL: people.apache.org Language: English - Date: 2011-08-23 16:13:53 Enterprise application integration Service-oriented architecture Transaction processing Autonomic computing Resource fork SynfiniWay Computing Concurrent computing Information technology management
970	hiJaC Contracts in a State-rich Timed Process Algebra Kun Wei, Jim Woodcock and Ana Cavalcanti Department of Computer Science University of York Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-02-26 07:24:06 Boolean algebra Mathematical logic Communicating sequential processes Process calculus Circus Process calculi